Model Checking Active Database Rules under Various Rule Processing Strategies
نویسندگان
چکیده
منابع مشابه
Model Checking Active Database Rules
An active database is an autonomical database system that can react to events occurring inside and outside of the database. A set of active database rules defines a reactive behavior of the active database. One of the most potential problems with active database systems is nontermination of active database rules. This paper proposes an approach for automatically checking the termination of acti...
متن کاملDetecting Termination of Active Database Rules Using Symbolic Model Checking
One potential problem of active database applications is the non-termination of rules. Although algorithms have been proposed to detect non-termination, almost all provide a conservative estimate; that is, the algorithms detect all the potential cases of non-termination. These algorithms then leave it to the database programmer to analyze each case to determine if indeed the rules are non-termi...
متن کاملActive Database Systems: Triggers and Rules For Advanced Database Processing
Find loads of the active database systems triggers and rules for advanced database processing book catalogues in this site as the choice of you visiting this page. You can also join to the website book library that will show you numerous books from any types. Literature, science, politics, and many more catalogues are presented to offer you the best book to find. The book that really makes you ...
متن کاملActive Database Rules with Transaction-Conscious Stable-Model Semantics
Semantics represents a major problem area for active databases inasmuch as (i) there is no formal framework for defining the abstract semantics of active rules, and (ii) the various systems developed so far have ad-hoc operational semantics that are widely different from each other. This situation contributes to the difficulty of predicting the run-time behavior of sets of rules: thus, ensuring...
متن کاملModel Checking Database Applications
We describe the design of DPF, an explicit-state model checker for database-backed web applications. DPF interposes between the program and the database layer, and precisely tracks the effects of queries made to the database. We experimentally explore several implementation choices for the model checker: stateful vs. stateless search, state storage and backtracking strategies, and dynamic parti...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IPSJ Digital Courier
سال: 2006
ISSN: 1349-7456
DOI: 10.2197/ipsjdc.2.826